/* 
 * File:   main.c
 * Author: abhi
 *
 * Created on February 17, 2012, 9:08 PM
 */

#include <stdio.h>
#include <stdlib.h>
#include "dfa.h"
#include "nfa.h"

/*
 * 
 */
int main(int argc, char** argv) {
    
    NFA* inputNFA;
    NextClosureStates* inputNFANextClosureStates;
    DFA* dfa;
    
    inputNFA = createNFA();
    inputNFANextClosureStates = createNextClosureForStates(inputNFA);
    
    dfa = getDFAForNFA(inputNFA, inputNFANextClosureStates);
    
    printDFA(dfa);

    return (EXIT_SUCCESS);
}

